Devyanin Peter N. «Transformation rules for states in base role DP-model of accesscontrol and information flows in operating systems» // 2011. №1(11) C.78-95
Pershin V. V., Stefantsov D. A., Grechnev S. Yu., Safonov V. O., Tomskikh P. A. «Modular translator from lyapas» // Applied Discrete Mathematics. Supplement 2016. №9 C.122-125
Stefantsov D.A., Grechnev S. Yu. «Modification of lyapas for operating systems development» // Applied Discrete Mathematics. Supplement 2015. №8 C.129-131
Tomskih P. A., Stefantsov D.A. «The development of an operating system in LYaPAS» // Applied Discrete Mathematics. Supplement 2015. №8 C.134-135
